Polynomial Time Algorithms for some Self-Duality Problems
نویسنده
چکیده
Consider the problem of deciding whether a Boolean formula f is self-dual, i.e. f is logically equivalent to its dual formula f d , deened by f d (x) = f (x). This problem is a well-studied problem in several areas like theory of coteries, database theory, hypergraph theory or computational learning theory. In this paper we exhibit polynomial time algorithms for testing self-duality for several natural classes of formulas where the problem was not known to be solvable. Some of the results are obtained by means of a new characterization of self-dual formulas in terms of its Fourier spectrum. 1 Preliminaries and Deenitions The self-duality problem is a well-studied problem in several areas. It is of particular interest the monotone case, since the problem of deciding whether a monotone DNF formula is self-dual or not is known to be equivalent to several other problems in diierent elds like theory of coteries (used in distributed systems) 6, 7], database theory 13], hypergraph theory 4] and computational learning theory 2]. Before discussing previous and our results, we provide a more detailed deenition of the problem and related concepts. We consider Boolean concepts f : f0; 1g n 7 ! f0; 1g depending on n variables fv 1 ; : : : ; v n g. We denote by x i the ith bit of vector x 2 f0; 1g n and by x and f the complement of x and f, respectively. A literal is either a variable or its negation. A Boolean concepts is said to be monotone if for every pair of assignments a; b 2 f0; 1g n , a b implies f(a) f(b). Let us discuss rst how to represent Boolean concepts. The most common and widely used representation of a Boolean concept is the Disjunctive Normal Form or DNF. It is well know that every Boolean concept can be expressed as a DNF. A DNF formula is a disjunction of terms, where a term is a conjunction of literals. Respectively, we deene the 1
منابع مشابه
A Unified Approach for Design of Lp Polynomial Algorithms
By summarizing Khachiyan's algorithm and Karmarkar's algorithm forlinear program (LP) a unified methodology for the design of polynomial-time algorithms for LP is presented in this paper. A key concept is the so-called extended binary search (EBS) algorithm introduced by the author. It is used as a unified model to analyze the complexities of the existing modem LP algorithms and possibly, help ...
متن کاملTenacity and some other Parameters of Interval Graphs can be computed in polynomial time
In general, computation of graph vulnerability parameters is NP-complete. In past, some algorithms were introduced to prove that computation of toughness, scattering number, integrity and weighted integrity parameters of interval graphs are polynomial. In this paper, two different vulnerability parameters of graphs, tenacity and rupture degree are defined. In general, computing the tenacity o...
متن کاملPrimal-dual path-following algorithms for circular programming
Circular programming problems are a new class of convex optimization problems that include second-order cone programming problems as a special case. Alizadeh and Goldfarb [Math. Program. Ser. A 95 (2003) 3-51] introduced primal-dual path-following algorithms for solving second-order cone programming problems. In this paper, we generalize their work by using the machinery of Euclidean Jordan alg...
متن کاملPolynominal Time Algorithms for Some Self-Duality Problems
Consider the problem of deciding whether a Boolean formula f is self-dual, i.e. f is logically equivalent to its dual formula f d , deened by f d (x) = f(x). This problem is a well-studied problem in several areas like theory of coteries, database theory, hypergraph theory or computational learning theory. In this paper we exhibit polynomial time algorithms for testing self-duality for several ...
متن کاملA New Infeasible Interior-Point Algorithm with Full Nesterov-Todd Step for Semi-Definite Optimization
We present a new full Nesterov and Todd step infeasible interior-point algorithm for semi-definite optimization. The algorithm decreases the duality gap and the feasibility residuals at the same rate. In the algorithm, we construct strictly feasible iterates for a sequence of perturbations of the given problem and its dual problem. Every main iteration of the algorithm consists of a feasibili...
متن کامل